

<html>
<head>
<title>Socapplet Kill Servers Response</title>
</head>
<body>
<pre>
kill_servers output:
